- выразить операцию через штрих Шеффера
- Makarov: express an operation in terms of the Sheffer stroke (в математической логике)
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
Полнота — свойство научной теории, характеризующее достаточность для каких либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. т. н. функциональная П. (ф. п.) применительно к естественному… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
ЛОГИЧЕСКИЕ СХЕМЫ — физ. устройства, реализующие функции матем. логики. Л. с. подразделяют на 2 класса: комбинационные схемы (Л. с. без памяти) и послед овател ьностные схемы (Л. с. с памятью). Л. с. являются основой любых систем (различных назначений и физ.… … Физическая энциклопедия